Design predicates